International Colloquium on Automata - PDFSEARCH.IO - Document Search Engine

International Colloquium on Automata
Results: 71

#	Item
11	Giuseppe F. Italiano Dipartimento di Ingegneria Civile e Ingegneria Informatica +Università di Roma “Tor Vergata” Fax +via del Politecnico 1 Add to Reading List Source URL: www.disp.uniroma2.it Language: English - Date: 2015-02-24 09:41:48 European Symposium on Algorithms SWAT and WADS conferences International Colloquium on Automata Languages and Programming Algorithm engineering Kurt Mehlhorn Algorithm Distributed computing Susanne Albers International Symposium on Graph Drawing Theoretical computer science Applied mathematics Computer science
12	Curriculum Vitae Paola Bruscoli Research Fellow (EPSRC) at University of Bath http://www.cs.bath.ac.uk/pb/ March 30, 2013 Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2013-03-30 11:16:35 Theoretical computer science Automated theorem proving Non-classical logic Substructural logic Calculus of structures Logic programming International Colloquium on Automata Languages and Programming Linear logic Logic Formal sciences Mathematical logic
13	Hang Zhou Í 45 rue d’UlmParis Add to Reading List Source URL: www.normalesup.org Language: English - Date: 2015-04-17 13:00:26 Écoles Normales Supérieures Theoretical computer science École Normale Supérieure Mathematics Academia Grandes écoles Automata theory International Colloquium on Automata Languages and Programming
14	Lance Jeremy Fortnow Georgia Institute of Technology School of Computer Science 266 Ferst Drive Atlanta, GA 30332 Add to Reading List Source URL: lance.fortnow.com Language: English - Date: 2014-06-05 11:48:59 Carsten Lund Computational learning theory Sparse language IP ACM SIGACT Computer science International Colloquium on Automata Languages and Programming Interactive proof system Probabilistically checkable proof Theoretical computer science Applied mathematics Computational complexity theory
15	Curriculum Vitae Rupak Majumdar Department: Email: Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-11-23 07:15:23 Principles of Programming Languages Max Planck Institute for Software Systems International Colloquium on Automata Languages and Programming Lecture Notes in Computer Science Computing CHIC Computer science Automata theory Association for Computing Machinery
16	DIPARTIMENTO DI INFORMATICA ICALP/PPDP/LOPSTRJuly, 2006, Venice - S. Servolo, Italy MAIN CONFERENCES Add to Reading List Source URL: icalp06.dsi.unive.it Language: English - Date: 2006-06-27 21:41:11 Computing Cynthia Dwork Massimo Marchiori Automata theory International Colloquium on Automata Languages and Programming Computer science
17	Richard Ryan Williams Computer Science Department Stanford University, Stanford, CAEmail: EDUCATION Add to Reading List Source URL: web.stanford.edu Language: English - Date: 2014-09-18 23:56:44 ACM SIGACT Symposium on Theory of Computing International Colloquium on Automata Languages and Programming Ryan Williams Symposium on Foundations of Computer Science Computational complexity theory SWAT and WADS conferences Algorithm Symposium on Parallelism in Algorithms and Architectures Theoretical computer science Computer science Applied mathematics
18	Curriculum Vitae Luca Aceto School of Computer Science Reykjav´ık University MenntavegurReykjav´ık Add to Reading List Source URL: www.ru.is Language: English - Date: 2014-10-19 10:54:51 Orc International Colloquium on Automata Languages and Programming Aalborg University Matthew Hennessy Actor model Aalborg Logic programming Theoretical computer science Computer science Computing
19	Curriculum Vitae ´ ski Damian Niwin JanuaryCurrent Position Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2012-01-12 19:14:06 Symposium on Theoretical Aspects of Computer Science Logic in computer science International Colloquium on Automata Languages and Programming Fundamenta Informaticae IEEE Symposium on Logic in Computer Science Lecture Notes in Computer Science Workshop on Logic Language Information and Computation Theoretical computer science Applied mathematics Computer science